pure semigroup

純半群